the history of the pencil